$\forall$$i$,$j$:$\mathbb{Z}$. ($i$ $\leq$ $j$) $\Rightarrow$ (randm($i$; $j$) $\in$ int\_seg($i$; ($j$ + 1)))